More from this Author

Logic Programming

by Catuscia Palamidessi (Editor)

Formal Techniques for Distributed Objects, Components, and Systems

by Erika Ábrahám (Editor), Catuscia Palamidessi (Editor)

Horizons of the Mind. a Tribute to Prakash Panangaden

by Franck van Breugel (Editor), Elham Kashefi (Editor), Catuscia Palamidessi (Editor), Jan Rutten (Editor)

Horizons of the Mind. a Tribute to Prakash Panangaden

by Franck van Breugel (Editor), Elham Kashefi (Editor), Catuscia Palamidessi (Editor), Jan Rutten (Editor)

Automata, Languages and Programming

by Luis Caires (Volume Editor), Guiseppe F. Italiano (Editor), Luis Monteiro (Editor), Catuscia Palamidessi (Editor), Moti Yung (Editor)

Trustworthy Global Computing

by Catuscia Palamidessi (Editor), Mark D. Ryan (Editor)

Formal Techniques for Distributed Objects, Components, and Systems

by Erika Ábrahám (Editor), Catuscia Palamidessi (Editor), Erika Ábrahám (Editor)

Trustworthy Global Computing

by Catuscia Palamidessi (Editor), Mark D. Ryan (Editor)

Theory of Security and Applications

by Sebastian Moedersheim (Editor), Catuscia Palamidessi (Editor)